scotland glasgow highlands verification england inverness fpga australia modelsim programming language interface systemverilog accommodation system verilog cronulla verilog caringbah asic edinburgh systemc